:: Integer -> Double -package:base package:hmpfr